École Polytechnique

Results: 1336



#Item
341

Truth values algebras and proof normalization Gilles Dowek ´ Ecole polytechnique and INRIA, ´

Add to Reading List

Source URL: who.rocq.inria.fr

- Date: 2011-01-28 11:35:44
    342

    ´ CATHOLIQUE DE LOUVAIN UNIVERSITE ´ ECOLE POLYTECHNIQUE DE LOUVAIN ´

    Add to Reading List

    Source URL: inl.info.ucl.ac.be

    - Date: 2015-06-26 09:23:32
      343

      Eidgenössische Technische Hochschule Zürich Ecole polytechnique fédérale de Zurich Politecnico federale di Zurigo

      Add to Reading List

      Source URL: www.econ.ethz.ch

      - Date: 2007-03-28 05:50:23
        344

        Eidgenössische Technische Hochschule Zürich Ecole polytechnique fédérale de Zurich Politecnico federale di Zurigo

        Add to Reading List

        Source URL: www.econ.ethz.ch

        - Date: 2007-03-28 05:50:23
          345

          Computer Code as a Medium for Human Communication: Are Programming Languages Improving? Gilles Dubochet École Polytechnique Fédérale de Lausanne Abstract. Programming languages are not only useful to command computer

          Add to Reading List

          Source URL: infoscience.epfl.ch

          - Date: 2011-07-09 03:42:23
            346

            Ecole Polytechnique de Louvain Laboratoire de Télécommunications et Télédétection BLouvain-la-Neuve Belgique

            Add to Reading List

            Source URL: www.multitel.be

            - Date: 2009-08-10 09:20:35
              347

              Michel Claessens Tel.: +13 UN CONTRAT DE TROIS ANS POUR TESTER LES CONDUCTEURS D’ITER Cadarache, France, 26 avrilITER Organization et l’École Polytechnique Fédéral

              Add to Reading List

              Source URL: www.iter.org

                348

                Embedding Pure Type Systems in the lambda-Pi-calculus modulo Denis Cousineau and Gilles Dowek ´ Ecole polytechnique and INRIA

                Add to Reading List

                Source URL: who.rocq.inria.fr

                - Date: 2011-01-28 11:35:46
                  349

                  Calibration Tutorial Kaori Hagihara Communications and Remote Sensing Laboratory, Ecole Polytechnique de Louvain,UCL, Belgium This document is aimed to explain our process to calibrate cameras with fish-eye lens attached

                  Add to Reading List

                  Source URL: www.multitel.be

                  Language: English - Date: 2009-08-26 10:47:19
                    350

                    ON NESTED SEQUENTS FOR CONSTRUCTIVE MODAL LOGICS RYUTA ARISAKA, ANUPAM DAS, AND LUTZ STRASSBURGER ´ INRIA, 1 rue Honor´e d’Estienne d’Orves,, Campus de l’Ecole Polytechnique, Bˆ atiment Alan Turing, 91120 Palais

                    Add to Reading List

                    Source URL: www.lix.polytechnique.fr

                    Language: English - Date: 2014-12-10 05:14:06
                      UPDATE